$\forall$$R$:es\_realizer\{i:l\}. R{-}size($R$) $\in$ $\mathbb{N}^{+}$